Das Schaltkreis-Auswertungsproblem (Circuit-Value-Problem, CVP) ist ein P-vollständiges Problem. Es ähnelt stark dem Erfüllbarkeitsproblem der Aussagenlogik (SAT) mit dem Unterschied, dass bei diesem Problem keine geeignete Belegung "erraten" werden muss. ==Problemstellung== Gegeben ist ein Schaltkreis mit n festen Eingaben. Eine Eingabe X ge.....